Mechanized derivation of linear invariants.
نویسنده
چکیده
Linear invariants, discovered by Lake, promise to provide a versatile way of inferring phylogenies on the basis of nucleic acid sequences (the method that he called "evolutionary parsimony"). A semigroup of Markov transition matrices embodies the assumptions underlying the method, and alternative semigroups exist. The set of all linear invariants may be derived from the semigroup by using an algorithm described here. Under assumptions no stronger than Lake's, there are greater than 50 independent linear invariants for each of the 15 rooted trees linking four species.
منابع مشابه
Rooting Gene Trees without Outgroups: EP Rooting
Gene sequences are routinely used to determine the topologies of unrooted phylogenetic trees, but many of the most important questions in evolution require knowing both the topologies and the roots of trees. However, general algorithms for calculating rooted trees from gene and genomic sequences in the absence of gene paralogs are few. Using the principles of evolutionary parsimony (EP) (Lake J...
متن کاملComparing Estimations of Return to Scale in Mechanized and Semi-Mechanized Broiler Chick Farms Located in Gorgan City
Quantitative analysis of production through evaluation of inputs consumption quantity is of main principles in agricultural policies, which is followed by increasing in production through optimal use of resources. This study has been conducted to estimate different types of production functions in mechanized farms of broiler chicks located in Gorgan city. Cross-section survey data were gathered...
متن کاملRegularity of Bounded Tri-Linear Maps and the Fourth Adjoint of a Tri-Derivation
In this Article, we give a simple criterion for the regularity of a tri-linear mapping. We provide if f : X × Y × Z −→ W is a bounded tri-linear mapping and h : W −→ S is a bounded linear mapping, then f is regular if and only if hof is regular. We also shall give some necessary and sufficient conditions such that the fourth adjoint D^∗∗∗∗ of a tri-derivation D is again tri-derivation.
متن کاملInvariants of Unipotent Transformations Acting on Noetherian Relatively Free Algebras
The classical theorem of Weitzenböck states that the algebra of invariants K[X] of a single unipotent transformation g ∈ GLm(K) acting on the polynomial algebra K[X] = K[x1, . . . , xm] over a field K of characteristic 0 is finitely generated. This algebra coincides with the algebra of constants K[X] of a linear locally nilpotent derivation δ of K[X]. Recently the author and C. K. Gupta have st...
متن کاملDeriving Linear Algebra Libraries
Starting in the late 1960s computer scientists including Dijkstra and Hoare advocated goal-oriented programming and formal derivation of algorithms. The problem was that for loop-based programs, a priori determination of loop-invariants, a prerequisite for developing loops, was a task too complex for any but the simplest of operations. We believe that no practical progress was made in the field...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Molecular biology and evolution
دوره 6 3 شماره
صفحات -
تاریخ انتشار 1989